#define TARGET_OS_LINUX
//#define DEBUG
//#define READLINE
//#define BIGNUM
